COINS: a constraint-based interactive solving system
نویسندگان
چکیده
This paper describes the coins (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation), determines if a given constraint belongs to a conflict and provides diagnosis tools (eg. why variable v cannot take value val). coins also uses user-friendly representation of conflicts and explanations.
منابع مشابه
Knowledge Representation Interactive System for Symbolic Mathematics
We present schematic architecture for Internet based Knowledge Representation Interactive System which deals with mathematics story problem solving. The aim of this work is to develop an interactive system to accept mathematics story problem, process and give natural language answer. Our system uses propositional semantic network approach in natural language processing system with constraint so...
متن کاملSolving a New Multi-objective Inventory-Routing Problem by a Non-dominated Sorting Genetic Algorithm
This paper considers a multi-period, multi-product inventory-routing problem in a two-level supply chain consisting of a distributor and a set of customers. This problem is modeled with the aim of minimizing bi-objectives, namely the total system cost (including startup, distribution and maintenance costs) and risk-based transportation. Products are delivered to customers by some heterogeneous ...
متن کاملDynBCN A Constructive Geometric Constraint-based Dynamic Geometry System
One of the goals of the Grup d’Informàtica a l’Enginyeria of the Universitat Politècnica de Catalunya at Barcelona is to conduct research on geometric constraint solving and its applications. Here we offer to the community dynBCN, a software prototype of a dynamic geometry system based on a constructive geometric constraint solving technology. So far we are offering a jar Java file. In the near...
متن کاملInteractivity and Ego Depletion in Insight Problem Solving
In the triangle of coins problem coins are arranged to create a triangle pointing down and the solution involves moving a few coins to change its orientation. The task ecology can be designed such that participants can work on it in a low interactivity environment, maintaining a mental representation of simulated moves, or in a high interactivity environment, thinking with and through a physica...
متن کاملCombined Automatic and Interactive Timetabling Using Constraint Logic Programming ?
We use Constraint Logic Programming and develop methods , techniques and concepts for a combined automatic and interactive timetabling of university courses and school curricula. An instance of such a timetabling system was developed for the Charit e Medical Faculty at the Humboldt University, Berlin. This paper looks at methods and techniques for solving this timetabling problem. An essential ...
متن کامل